منابع مشابه
A retargetable vector code generator
This paper describes the prototype implementation of a retargetable vector code generator which applies recent advances in automatic (scalar) code generation techniques to the task of generating code for a vector source language. The source language is a subset of Fortran 8X, the proposed successor to the Fortran 77 standard. The target machine is an attached vector processor. This work extends...
متن کاملA Machine-Verified Code Generator
We consider the machine-supported verification of a code generator computing machine code from WHILE-programs, i.e. abstract syntax trees which may be obtained by a parser from programs of an imperative programming language. We motivate the representation of states developed for the verification, which is crucial for success, as the interpretation of tree-structured WHILE-programs differs signi...
متن کاملDesign of a Knowledge-Based Report Generator
Knowledge-Based Report Generation is a technique for automatically generating natural language reports from computer databases. It is so named because it applies knowledge-based expert systems software to the problem of text generation. The first application of the technique, a system for generating natural language stock reports from a daily stock quotes database, is partially implemented. Thr...
متن کاملLLVM-based overlapped executable code generator
Overlapped executable code is an attractive artifact of obfuscation technology not yet widely covered and researched. Overlapped code and opaque predicates technologies together allows creation of prominent software obfuscation technologies featuring both obscure executable code and code protected from patching due to hard-to-track relations with other code. The paper provides polynomial algori...
متن کاملEvaluating code-based test input generator tools
In recent years several tools have been developed to automatically select test inputs from the code of the system under test. However, each of these tools has different advantages, and there is little detailed feedback available on the actual capabilities of the various tools. In order to evaluate test input generators this paper collects a set of programming language concepts that should be ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1977
ISSN: 0362-1340,1558-1160
DOI: 10.1145/872734.806941